Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
131	True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Functional programming Data types Type theory Functional languages Programming language comparisons Fold Polymorphism Monad Generic programming Map XS Generalized algebraic data type
132	Service Transformation First name Surname Add to Reading List Source URL: www.libraryservices.nhs.uk Language: English - Date: 2015-09-23 07:45:35 LSE Software engineering Computer programming Programming language theory
133	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
134	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:10 Computing Software engineering Programming language theory Parallel computing ALGOL 68 Schedule
135	Distributed Computing Prof. R. Wattenhofer Smart Real Estate Value Estimation Motivation and Informal Description Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-01-14 04:18:37 Programming language theory Software engineering Parameter Pascal Computer programming
136	Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: gbaz.github.io Language: English - Date: 2016-02-29 17:49:20 Software engineering Computer programming Category theory Algebra Functional programming Higher-order functions Programming language comparisons Adjoint functors Monad Functor Fold Map
137	Abstraction-Guided Synthesis Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-02 05:01:56 Software engineering Programming language theory Procedural programming languages Computer programming ALGOL 68
138	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2016-05-26 17:41:56 Type theory Object-oriented programming languages Scripting languages Program analysis Type system Objective-C Ruby Dynamic programming language Fold Library JavaScript Monad
139	A Simple Programming Language Type theory and functional programming This talk will about the connections between type theory and functional programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-23 07:51:42
140	spcl.inf.ethz.ch @spcl_eth High-Performance Distributed RMA Locks PATRICK SCHMID, MACIEJ BESTA, TORSTEN HOEFLER Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2016-06-02 10:49:56 Software engineering Programming language theory ALGOL 68 Computing Readerswriter lock

UPDATE